Products of effective topological spaces and a uniformly computable Tychonoff Theorem
نویسندگان
چکیده
منابع مشابه
Products of effective topological spaces and a uniformly computable Tychonoff Theorem
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we introduce natural multi-representations of the class of all effective topological spaces, of their points, of their subsets and of their compact subsets. We ...
متن کاملA Tychonoff theorem in intuitionistic fuzzy topological spaces
The purpose of this paper is to prove a Tychonoff theorem in the so-called “intuitionistic fuzzy topological spaces.” After giving the fundamental definitions, such as the definitions of intuitionistic fuzzy set, intuitionistic fuzzy topology, intuitionistic fuzzy topological space, fuzzy continuity, fuzzy compactness, and fuzzy dicompactness, we obtain several preservation properties and some ...
متن کاملA Proof of the Schauder - Tychonoff Theorem
We present a new proof of the version of the Shauder-Tychonov theorem provided by Coppel in Stability and Asymptotic Behavior of Differential Equations, Heath Mathematical Monographs, Boston (1965). Our alternative proof mainly relies on the Schauder fixed point theorem.
متن کاملEffective Dispersion in Computable Metric Spaces
We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), where (X, d) is a given metric space. In the case of Euclidean space, α and β are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space. This notion is essential in the proof of the main result of this paper: (X, d, α) is effectively totall...
متن کاملEffective zero-dimensionality for computable metric spaces
We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zerodimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2013
ISSN: 1860-5974
DOI: 10.2168/lmcs-9(4:14)2013